Formalizing Design Spaces: Implicit Invocation Mechanisms
نویسندگان
چکیده
ly, a~l implicit invocation mechanism can be modelled as a collection of components, each of which has an interface that specifies a set of methods and a set of events. As is traditionally the case, the methods define operations that other components can explicitly invoke. The events, however, define actions that the component promises to announce to other components in the system. The implicit invocation mechanism must also provide a way to associate events with methods that are to be invoked when those events are announced. We now formalize these ideas in three steps using the Z specification language. First, we define the state space of the basic model. Next we define an abstract run-time model that explains how events are announced and handled by an implicit invocation system. Finally, we show how the model can be used to define existing systems, additionally illustrating how it allows us to reason about relationships between some of these systems.
منابع مشابه
An Object-Oriented Event Calculus
Despite the rising popularity and usefulness of events, or implicit invocation, in software design, the availability of general-purpose event mechanisms are rare. Further, most event mechanisms available for software design are implemented as libraries or sets of macros that are constrained by the language in which they are used; making such mechanisms inconvenient to use as well as error-prone...
متن کاملTowards a Formal Treatment of Implicit Invocation
Implicit invocation [SN92,GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cation formalisms for such systems. A formal computational model for implicit invocation is presented. We develop a veri cation framework for implicit invocation that is based on Jones' rely/guarantee reasoning for concur...
متن کاملTypes and Modularity for Implicit Invocation with Implicit Announcement FRIEDRICH STEIMANN AND THOMAS PAWLITZKI Fernuniversität in Hagen
data types, polymorphism, control structures. General Terms: Design, Languages Additional
متن کاملA Type-and-Effect System for Shared Memory, Concurrent Implicit Invocation Systems
Driven by the need to utilize multicore platforms, recent language designs aim to bring the concurrency advantages of events in distributed publishsubscribe systems to sequential OO programs that utilize the implicit invocation (II) design style. These proposals face two challenges. First, unlike the publishsubscribe paradigm where publisher and subscriber typically do not share state, communic...
متن کاملThe Event Notification Pattern - Integrating Implicit Invocation with Object-Orientation
Managing inter-object dependencies in object-oriented systems is a complex task. Changes of one object often require dependent objects to change accordingly. Making every object explicitly inform every dependent object about its state changes intertwines object interfaces and implementations, thereby hampering system evolution and maintenance. These problems can be overcome by introducing the n...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1991